-
1 primitively recursive predicate
English-Russian electronics dictionary > primitively recursive predicate
-
2 primitively recursive predicate
The New English-Russian Dictionary of Radio-electronics > primitively recursive predicate
-
3 primitive recursive predicate
Математика: примитивно рекурсивный предикатУниверсальный англо-русский словарь > primitive recursive predicate
-
4 primitive recursive predicate
English-Russian scientific dictionary > primitive recursive predicate
См. также в других словарях:
РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… … Философская энциклопедия
КОНСТРУКТИВНОГО ПОДБОРА ПРИНЦИП — принцип Маркова, логико философский принцип конструктивной математики, выдвинутый А. А. Марковым [1], [2] и в общей форме утверждающий, что если конструктивный процесс, заданный нек рым предписанием, не является неограниченно продолжаемым, то он… … Математическая энциклопедия